Software product and process quality improvement using formal methods
نویسنده
چکیده
viii
منابع مشابه
Formal Specification Methods for the Improvement of Process and Product Quality
Our research activities are focused on formal specification based product and process quality improvement of a software system. We start with a formal specification based pragmatic view on software specification, software refinement, software enhancement and software testing. These features are further explored for the improvement of product and process quality. On the basis of these features w...
متن کاملCMMI Process Area Compliance with Formal Specification Based Software Development
The development of reliable systems is still a major challenge for software industry. Construction of such a system requires both process and product based quality assurance. Many process improvement models have been suggested in industry and found appropriate for achieving high quality products. Examples of such process improvement models are CMM/CMMI, Agile, SPICE, ISO 9000 family etc. Howeve...
متن کاملUsing Formal Specifications in the Implementation of CMMI
There are two main aspects of quality assurance in computational systems development and maintenance projects: the process and product view. Several standard models have been proposed for a systematic process improvement, e.g., CMM/CMMI, Agile, SPICE, or the ISO 9000 family. However, even the best process can not guarantee that the resulting products are as expected. For a rigorous analysis of ...
متن کاملA Study of Software Process Improvement in Small and Medium Organizations
Presently, the majority of software development, including outsourcing, is carried out by small and medium size software development organizations all over the world. These organizations are not capable to bear the cost of implementing available software process improvement models like CMMI, SPICE, ISO, and so forth. Therefore, there is a need to address this problem. In this chapter, various s...
متن کاملEstablishing Product Process Dependencies in SPI
One of the basic assumptions behind most software process improvement methods is that improved processes lead to improved product quality. Despite the popularity of SPI methods, there is a lack of both methods and experience reports on the explicit relationship between software process improvement (SPI) and product improvement. PROFES is a methodology that helps to shift from generic process im...
متن کامل